* {
  font-size: 12pt;
  margin-left: 0px;
  margin-bottom: 0px;
  margin-top: 0px;
}
body {
  margin: 10px;
}
code {
  font-size: 90%;
}
h1 {
  font-size: 125%;
  margin-left: 0px;
  background-color: #dddddd;
  margin-bottom: 12pt;
}
h2 {
  font-size: 105%;
  margin-left: 0px;
  margin-bottom: 0px;
  margin-top: 12pt;
  background-color: #eeeeee;
}
h3 {
  font-size: 100%;
  margin-left: 0px;
  margin-bottom: 0px;
  margin-top: 6px;
  font-weight: bold;
}
th {
  border-bottom: 1px solid #dddddd;
  text-align: left;
}
td, th {
  border: 1px solid black;
  padding-left: 6px;
  padding-right: 6px;
}
.return {
  border-top: 1px solid #dddddd;
  margin-top: 6px;
  font-weight: bold;
  background-color: #cccccc;
}
tr.return td {
  border-top: 1px solid #dddddd;
  margin-top: 6px;
  font-weight: bold;
  background-color: #cccccc;
}
ul {
  margin-top: 12pt;
  margin-left: 0px;
}
li {
  margin-top: 0px;
  margin-left: 0px;
}
li + ul {
  margin-top: 0px;
  list-style-image: url(inherit.gif);
}
p {
  margin-left: 12px;
}
table {
  border: 1px solid black;
  margin-left: 12px;
  border-collapse: collapse;
}
dl {
  margin-left: 12px;
}
dt {
  font-weight: bold;
}
dd {
  margin-left: 12px;
}
